|
|
1.
基于多面体包含的非线性混成系统可达性分析
邹进 林望 罗勇 曾振柄
计算机应用
2013, 33 (05):
1289-1293.
DOI: 10.3724/SP.J.1087.2013.01289
针对一类非线性混成系统的可达性问题，提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性，讨论了如何应用多面体包含对多项式混成系统进行线性近似，并采用量词消去和非线性优化方法来构造相应的线性混成系统，然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集，并应用于验证系统的安全性。
参考文献 |
相关文章 |
多维度评价
|
|
